124. A critical introduction to fictionalism /
پدیدآورنده : by Frederick Kroon, Stuart Brock and Jonathan McKeown-Green.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Fictions, Theory of.,Metaphysics.,Reality.,Fictions, Theory of.,Metaphysics.,Reality.
رده :
BC199
.
F5
K76
2019
125. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
126. A summary of scientific method /
پدیدآورنده : Peter Kosso
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Science-- Methodology
127. A system of logic ratiocinative and inductive: Being a connected view of the principles of evidence, and the methods of scientific investigation
پدیدآورنده : Mill, John Stuart, 6081-3781
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Logic,Methodology ، Science,، Knowledge, Theory of
رده :
BC
91
.
M6S9
128. A tale of two cultures :
پدیدآورنده : Gary Goertz and James Mahoney
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Political science-- Research-- Methodology,Political sociology-- Research-- Methodology,Social sciences-- Research-- Methodology
رده :
JA86
.
G56
2012
129. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
130. Action Theory and Social Science :
پدیدآورنده : by Ingmar Pörn.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Philosophy (General),Social sciences -- Philosophy.
رده :
H62
.
B956
1977
131. Actuarial Science :
پدیدآورنده : edited by Ian B. MacNeill, Gary J. Umphrey, Beda S.C. Chan, Serge B. Provost.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Statistics.
132. Advancement of learning
پدیدآورنده :
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Science - Methodology - Early works to 1800,Induction (Logic) - Early works to 1800,Utopias - Early works to 1800
رده :
AC
,
1
,.
G72
,
vol
.,
30
,
1955
133. Advancement of learning. Novum organum. New Atlantis
پدیدآورنده : Bacon, Francis, Viscount St. Albans
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Methodology ، Science,Early works to 0081 ، Logic
رده :
Q
175
.
B3
134. Advancement of learning; Novum organum; New Atlantis
پدیدآورنده : Bacon, Francis
کتابخانه: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)
موضوع : Methodology - Early works to 0081 ، Science,Early works to 0081 ، Induction )Logic(,Early works to 0081 ، Utopias
رده :
B
1190
.
A33
1952
135. Advancement of learning. Novum organum. New Atlantis
پدیدآورنده : Bacon, Francis, Viscount St. Albans
موضوع : ، Science-- Methodology,، Logic-- Early works to 0081
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
136. Advancement of learning; Novum organw; New atlantis
پدیدآورنده :
کتابخانه: كتابخانه مركز اسناد و مركز دائرة المعارف بزرگ اسلامى (طهران)
موضوع : Methodology -- Early works to 0081 ، Science,Early works to 0081 ، Induction )logic(,Early work to 0081 ، Utopias,، Philosophy,، Ethics
رده :
AC1
.
G7
.
1994
vol
.
28
137. Advancement of learning and Novum organum new Atlantics
پدیدآورنده : Bacon, Francis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Science - Methodology,، Logic
رده :
AC
1
.
G72
S3
1952
138. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
139. Advances in computational intelligence :
پدیدآورنده : Ildar Batyrshin, María de Lourdes Martínez-Villaseñor, Hiram Eredín Ponce Espinosa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Soft computing.
رده :
QA76
.
9
.
S63